Constraining Functions Through Processes (and Vice Versa)
نویسنده
چکیده
We propose a novel computer-based design method for planning process-driven buildings. The method binds functions to processes, in order to avoid (1.) functions that are not present in any process and (2.) processes that lack some of their required functions.
منابع مشابه
Depending on Session-Typed Processes
This work proposes a dependent type theory that combines functions and session-typed processes (with value dependencies) through a contextual monad, internalising typed processes in a dependently-typed lambda-calculus. The proposed framework, by allowing session processes to depend on functions and vice-versa, enables us to specify and statically verify protocols where the choice of the next co...
متن کاملAnalysis of Multi-Robots Transportation with Multi-objective PSO Algorithm in an Artificial Capital Market
In this paper, to analyze the transport of autonomous robots, an artificial Capital market is used. Capital market is considered as a pier which loading and unloading of cargo is done. Autonomous robots load and unload from the ship to the warehouse wharf or vice versa. All the robots have the ability of transporting the loads, but depending on loads and the location of unloading (or loading) a...
متن کاملThe Stationary - NonStationary Process and The Variable Roots Difference Equations
Stochastic, processes can be stationary or nonstationary. They depend on the magnitude of shocks. In other words, in an auto regressive model of order one, the estimated coefficient is not constant. Another finding of this paper is the relation between estimated coefficients and residuals. We also develop a catastrophe and chaos theory for change of roots from stationary to a nonstationary one ...
متن کاملMATHEMATICAL ENGINEERING TECHNICAL REPORTS Note on Multimodularity and L-Convexity
Multimodular functions and L-convex functions have been investigated almost independently, but they are, in fact, equivalent objects that can be related through a simple coordinate transformation. Some facts known for L-convex functions can be translated to new results for multimodular functions, and vice versa. In particular, the local optimality condition for global optimality found in the li...
متن کاملA critique of the application of unit root tests
This paper exploits the fact that any time series with a unit root can de decomposed into a stationary series and a random walk. Since the random walk component can have arbitrarily small variance, tests for unit roots or trend stationarity have arbitrarily low power in finite samples. Furthermore, there are unit root processes whose likelihood functions and autocorrelation functions are arbitr...
متن کامل